technology corner professional training calendar highlights / November 2015–February 2016

Source URL: www.adacore.com

• Ada
• SPARK
• CodePeer
• GNAT
• A Sharp
• Avionics software
• Computer programming
• Static program analysis
• Design by contract
• Subroutine
• CrazyFlie
• Embedded system

VACANCY: SENIOR SOFTWARE DEVELOPER UPDATED: S-PLANE Automation (Pty) Ltd Automation Innovation S-PLANE is an internationally recognised aerospace and defence company specialising in product

Source URL: www.ee.sun.ac.za

• Unmanned aerial vehicles
• Avionics
• Robotics
• Wireless
• Automation
• System programming

Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1

Source URL: www.lix.polytechnique.fr

• Computer arithmetic
• Floating point
• Fluctuat
• Abstract interpretation
• Rounding
• Interval arithmetic
• Loss of significance
• NaN
• Common logarithm
• Lookup table
• Affine arithmetic
• Signed zero

GE Software Presentation Template

Source URL: igel.wharton.upenn.edu

• Jet engines
• Turbines
• Avionics
• FADEC
• Internal combustion engine
• Gas turbine
• Valve

FsXPand 6.1 Getting started with the FMS/CDU Introduction This FMS implementation is an approximation of the real 737NG software. As is the case with other suites on the market. The original has been simplified to some e

Source URL: cockpitsolutions.com

• Aircraft instruments
• Avionics
• Flight management system
• Cockpit
• Burroughs MCP
• Autopilot
• VNAV
• Waypoint
• Tron

LK8000 Flight Computer – A Minimal Configuration Setup Rob Sherlock, Canterbury Gliding Club, NZ The LK8000 Flight Computer software provides, amongs other things, a GPS-driven moving map displaying terrain, waypoints,

Source URL: www.glidingcanterbury.org.nz

• Air sports
• Aircraft instruments
• Avionics
• Gliding
• Variometer
• Online Contest

VACANCY: SOFTWARE DEVELOPER UPDATED: S-PLANE Automation (Pty) Ltd Automation Innovation S-PLANE is an internationally recognised aerospace and defence company specialising in product

Source URL: www.ee.sun.ac.za

• Unmanned aerial vehicles
• Avionics
• Robotics
• System programming
• Extensible Application Markup Language

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal Ewen Denney, Ganesh Pai and Josef Pohl SGT / NASA Ames Research Center Moffett Field, CA 94035, USA Email: {ewen.denney, ganesh.pai, josef.po

Source URL: ti.arc.nasa.gov

• Avionics
• Safety engineering
• Safety
• Risk
• Systems engineering
• Hazard analysis
• Safety case
• Unmanned aerial vehicle
• Functional safety
• Autopilot
• System safety
• Avionics software

What Software Requires from Multicore for Certification - overview for the domains avionics, medical in comparison to automotive, ... Matthias Pruksch Motivation

Source URL: events.fortiss.org

66 rue RiquetToulouse France Tel +

Source URL: www.spacelinks.com

• Computing
• Software
• Embedded systems
• Avionics
• DO-178B
• Safety engineering
• Rational ClearCase
• Simulink
• ARINC